A

Results: 2421584



#Item
91PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-01-13 05:57:32
92Q3 2018 FI N A N C I A L RES ULTS S A L ES WORL DWI D E $ 7.7

Q3 2018 FI N A N C I A L RES ULTS S A L ES WORL DWI D E $ 7.7

Add to Reading List

Source URL: dam.abbott.com

Language: English - Date: 2018-10-18 19:10:59
93A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-07-05 04:52:12
94 IOT WEEK 2018 REPORT FOREWORD...................................................................................................2 A BRIEF OVERVIEW OF IoT WEEK 2018 .......................................................

IOT WEEK 2018 REPORT FOREWORD...................................................................................................2 A BRIEF OVERVIEW OF IoT WEEK 2018 .......................................................

Add to Reading List

Source URL: iotweek.org

Language: English - Date: 2018-08-10 05:08:38
95What is a CDN and Why Do You Need One? Most websites and applications that we interact with every day are run out of one physical location, but content on the site (like images, text, and video) still needs to travel ove

What is a CDN and Why Do You Need One? Most websites and applications that we interact with every day are run out of one physical location, but content on the site (like images, text, and video) still needs to travel ove

Add to Reading List

Source URL: www.fastly.com

Language: English - Date: 2017-05-05 00:24:01
96GEMS ELECTION RESULTS Election Summary Report March 6, 2012 Scioto County Primary Summary For 1 PORTSMOUTH 1-A, All Counters, All Races Scioto County Primary

GEMS ELECTION RESULTS Election Summary Report March 6, 2012 Scioto County Primary Summary For 1 PORTSMOUTH 1-A, All Counters, All Races Scioto County Primary

Add to Reading List

Source URL: scioto.ohioboe.com

Language: English - Date: 2017-04-21 08:49:01
    97HPC Trends forAddison Snell A New Era in HPC

    HPC Trends forAddison Snell A New Era in HPC

    Add to Reading List

    Source URL: hpcadvisorycouncil.com

    Language: English - Date: 2015-03-24 04:25:43
    98Smaller than a matchbox: MOPA for

    Smaller than a matchbox: MOPA for "FreshScan"

    Add to Reading List

    Source URL: www.berlin.de

    Language: German
      99A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

      A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

      Add to Reading List

      Source URL: correctness-workshop.github.io

      Language: English - Date: 2017-11-14 22:52:13
        100Huobi Joins GLASS Network and Invests in SharesPost Huobi joins network enabling compliant trading of digital securities globally San Francisco, CA — August 15, 2018 — SharesPost, a leading provider of liquidity solu

        Huobi Joins GLASS Network and Invests in SharesPost Huobi joins network enabling compliant trading of digital securities globally San Francisco, CA — August 15, 2018 — SharesPost, a leading provider of liquidity solu

        Add to Reading List

        Source URL: d2wbqcispjulqi.cloudfront.net

        Language: English - Date: 2018-09-05 18:55:16